Specifying distributed multi-agent systems in chemical reaction metaphor
نویسندگان
چکیده
منابع مشابه
Specifying Communicative Multi-Agent Systems
In this paper, we describe a framework for specifying communicative multi-agent systems, using a theory of action based on the situation calculus to describe the effects of actions on the world and on the mental states of agents; and the concurrent, logic programming language ConGolog to specify the actions performed by each agent. Since ConGolog has a well-defined semantics, the specifications...
متن کاملSpecifying Laws in Open Multi-Agent Systems
Laws have been used to deal with theoretical and practical issues regarding notions of openness and unpredictably of open multiagent systems. In order to achieve a higher degree of predictability and confidence, practical applications of distributed agents need to describe the interaction structure of the system, and this interaction structure must be regulated. Governing agent interactions can...
متن کاملOptimization of majority protocol for controlling transactions concurrency in distributed databases by multi-agent systems
In this paper, we propose a new concurrency control algorithm based on multi-agent systems which is an extension of majority protocol. Then, we suggest a clustering approach to get better results in reliability, decreasing message passing and algorithm’s runtime. Here, we consider n different transactions working on non-conflict data items. Considering execution efficiency of some different...
متن کاملGeneric Expression in B of the Influence/Reaction Model: Specifying and Verifying Situated Multi-Agent Systems
This paper addresses the formal specification and verification of situated multi-agent systems that can be formulated within the influence-reaction model as proposed in 1996 by Ferber & Muller. In this framework our objective is to prove the correctness of reactive multi-agent systems with respect to a certain formal specification or property, using formal methods. This is an important step to ...
متن کاملA Systemic Metaphor of Multi-agent Coordination in Living Systems
Living systems provide a good metaphor for the coordination of autonomous agents managing tasks according to their role in the system. The study of such systems from the point of view of General Systems Theory would benefit from computational experimentation. This paper proposes an agent-based methodology for system modeling as well as computational tools to develop and test system models. Biol...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Intelligence
سال: 2006
ISSN: 0924-669X,1573-7497
DOI: 10.1007/s10489-006-6936-x